- 符號(hào)模式
- 符號(hào)模型
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
symbolic models中文什么意思
例句與用法
- 更多例句： 下一頁
- It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models
它很難用單一模式的知識(shí)模型(如數(shù)學(xué)模型)來精確表達(dá)。 - 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符號(hào)化的模型檢測技術(shù)利用二叉圖binary decision diagram表示狀態(tài)轉(zhuǎn)換關(guān)系，降低了系統(tǒng)模型所需的內(nèi)存空間。 - Then , the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis , and how modeling contributes to acquiring valuable information
接著，作者著眼于在客戶訂單分析中， olap如何支持形式化模型以及怎樣通過形式化模型獲得有用信息。 - At present , the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence
目前解決這個(gè)問題主要有兩條途徑： a數(shù)學(xué)優(yōu)化模型及其算法求解+符號(hào)模型及其人工智能求解； b數(shù)學(xué)優(yōu)化模型及其算法求解+人機(jī)交互或人機(jī)結(jié)合。 - First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協(xié)議的概念、分類和性質(zhì)，安全協(xié)議的形式化驗(yàn)證方法，以及小系統(tǒng)模型的原理；重點(diǎn)分析和研究了符號(hào)化模型檢驗(yàn)工具smv的原理和語法及其對(duì)安全協(xié)議進(jìn)行模型檢驗(yàn)時(shí)的工作機(jī)理，而且使用smv對(duì)needham - schroeder公鑰協(xié)議和wooandlam對(duì)稱鑰協(xié)議進(jìn)行了形式化建模與模型檢驗(yàn)，發(fā)現(xiàn)了它們的安全漏洞。